Control Synthesis for a Class of Controlled Petri Nets
نویسندگان
چکیده
This paper proposes a new control synthesis method for a class of discrete event systems modeled by controlled ordinary Petri nets with linear marking constraint. Monitor is constructed to track the system state resulted from the uncontrollable firing sequences. The maximally permissive feedback control policy then can be obtained based on the making of the monitor. No non-convex constraint transformation is introduced in the design procedure. The method is capable of synthesizing a class of net that cannot be treated using previous methods due to some necessary restrictions. Copyright © 2002 IFAC
منابع مشابه
Soccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملMapping CRC Card into Stochastic Petri Net for Analyzing and Evaluating Quality Parameter of Security (TECHNICAL NOTE)
CRC cards are unconventional method for identifying and describing classes, behavior and its responsibilities and collaborators of class. Representation of three categories of class, responsibilities and collaborators can give proper image of scenario. These cards are effective method for analyzing scenarios. With all positive features of CRC cards, of weaknesses of these cards are failure to s...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملHolloway , Guan , and Zhang : a Generalization of State Avoidance Policies for Controlled Petri Nets
| This paper presents a generalization of forbidden state control synthesis methods for a broad class of controlled Petri nets (CtlPN). An algebra is deened for characterizing the interaction of paths in the Petri net. Given a speciication of a forbidden marking set, the net structure is analyzed to determine an algebraic expression to represent the speciication. For any net marking (state), ev...
متن کاملModeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کامل